predicate-weakening procedure

謂詞弱化過程